es{-}locl(${\it es}$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}loc(${\it es}$; $e$) $=$ es{-}loc(${\it es}$; ${\it e'}$) $\in$ Id \& es{-}causl(${\it es}$; $e$; ${\it e'}$)